/
  • Search Results for 'Lemmaderangements Singleton[simp]:derangementsfxg=fghproofilemmaderangements Swap:assumesd2derangementssx=2sy=2sx6=yshowsfun:swapxyd2derangements(insertx(insertys))hproofilemmaderangements Skip One:as'